#define IPC_RESET_TESTS		0
#define IPC_CACHE_TESTS		0x100
#define IPC_SCU_TESTS		0x200
#define IPC_TZ_GIC_TESTS	0x300
#define IPC_TZ_SDRAM_TESTS	0x400
#define IPC_TZ_DEV_TESTS	0x500

void InitIPC(void);
void SetState(uint32 state);
void WaitForState(uint32 state);

